Optimal. Leaf size=27 \[ -\frac {2 \tanh ^{-1}\left (\frac {\pi +4 x}{\sqrt {-8+\pi ^2}}\right )}{\sqrt {-8+\pi ^2}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.01, antiderivative size = 27, normalized size of antiderivative = 1.00, number of steps
used = 2, number of rules used = 2, integrand size = 12, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.167, Rules used = {632, 212}
\begin {gather*} -\frac {2 \tanh ^{-1}\left (\frac {4 x+\pi }{\sqrt {\pi ^2-8}}\right )}{\sqrt {\pi ^2-8}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 212
Rule 632
Rubi steps
\begin {align*} \int \frac {1}{1+\pi x+2 x^2} \, dx &=-\left (2 \text {Subst}\left (\int \frac {1}{-8+\pi ^2-x^2} \, dx,x,\pi +4 x\right )\right )\\ &=-\frac {2 \tanh ^{-1}\left (\frac {\pi +4 x}{\sqrt {-8+\pi ^2}}\right )}{\sqrt {-8+\pi ^2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.01, size = 27, normalized size = 1.00 \begin {gather*} -\frac {2 \tanh ^{-1}\left (\frac {\pi +4 x}{\sqrt {-8+\pi ^2}}\right )}{\sqrt {-8+\pi ^2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.52, size = 24, normalized size = 0.89
method | result | size |
default | \(-\frac {2 \arctanh \left (\frac {\pi +4 x}{\sqrt {\pi ^{2}-8}}\right )}{\sqrt {\pi ^{2}-8}}\) | \(24\) |
risch | \(\frac {\ln \left (-\pi ^{2}+\pi \sqrt {\pi ^{2}-8}+4 x \sqrt {\pi ^{2}-8}+8\right )}{\sqrt {\pi ^{2}-8}}-\frac {\ln \left (\pi ^{2}+\pi \sqrt {\pi ^{2}-8}+4 x \sqrt {\pi ^{2}-8}-8\right )}{\sqrt {\pi ^{2}-8}}\) | \(71\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.28, size = 38, normalized size = 1.41 \begin {gather*} \frac {\log \left (\frac {\pi + 4 \, x - \sqrt {\pi ^{2} - 8}}{\pi + 4 \, x + \sqrt {\pi ^{2} - 8}}\right )}{\sqrt {\pi ^{2} - 8}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 50 vs.
\(2 (23) = 46\).
time = 1.92, size = 50, normalized size = 1.85 \begin {gather*} \frac {\log \left (\frac {\pi ^{2} + 4 \, \pi x + 8 \, x^{2} - {\left (\pi + 4 \, x\right )} \sqrt {\pi ^{2} - 8} - 4}{\pi x + 2 \, x^{2} + 1}\right )}{\sqrt {\pi ^{2} - 8}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 76 vs.
\(2 (26) = 52\).
time = 0.10, size = 76, normalized size = 2.81 \begin {gather*} \frac {\log {\left (x - \frac {\pi ^{2}}{4 \sqrt {-8 + \pi ^{2}}} + \frac {\pi }{4} + \frac {2}{\sqrt {-8 + \pi ^{2}}} \right )}}{\sqrt {-8 + \pi ^{2}}} - \frac {\log {\left (x - \frac {2}{\sqrt {-8 + \pi ^{2}}} + \frac {\pi }{4} + \frac {\pi ^{2}}{4 \sqrt {-8 + \pi ^{2}}} \right )}}{\sqrt {-8 + \pi ^{2}}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.71, size = 40, normalized size = 1.48 \begin {gather*} \frac {\log \left (\frac {{\left | \pi + 4 \, x - \sqrt {\pi ^{2} - 8} \right |}}{{\left | \pi + 4 \, x + \sqrt {\pi ^{2} - 8} \right |}}\right )}{\sqrt {\pi ^{2} - 8}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.36, size = 23, normalized size = 0.85 \begin {gather*} -\frac {2\,\mathrm {atanh}\left (\frac {\Pi +4\,x}{\sqrt {\Pi ^2-8}}\right )}{\sqrt {\Pi ^2-8}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________